Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
681	PLA 2.1 Software For Biological Assays Product Overview PLA 2.1 \| Overview Add to Reading List Source URL: www.bioassay.de Language: English - Date: 2013-05-13 11:53:09 Validity Pharmacology Clinical research Quality Validation Verification and validation Assay Bioassay Laboratory information management system Chemistry Science Pharmaceutical industry
682	Checking Framework Interactions with Relationships Ciera Jaspan and Jonathan Aldrich Institute for Software Research, Carnegie Mellon University, Pittsburgh PA 15213, USA [removed], [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-13 09:48:11 Hardware verification languages Check Constraint SQL Representational state transfer ECO E Computing Data management Software engineering
683	Oscar Slotosch, Validas AG Enabling Development of Qualifiable Eclipse-based Tools: Vision and Concept Validas AG, 2012 Add to Reading List Source URL: wiki.eclipse.org Language: English - Date: 2012-05-23 11:03:37 Quality Validation Validity Verification Quality assurance Technology Electronics Science DO-178B Systems engineering Pharmaceutical industry Software requirements
684	Regional Technical Forum Automated Conservation Voltage Reduction Protocol #1 Meeting Agenda and Notes: December 12, 2012, 2:04 pm – 4:20 Add to Reading List Source URL: rtf.nwcouncil.org Language: English - Date: 2013-01-08 15:10:21 Cables Electricity Voltage drop Communications protocol Rich Text Format Protocol X Window System International performance measurement and verification protocol Cryptographic protocol Software Computing Data
685	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.open-do.org Language: English - Date: 2011-12-14 10:38:39 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
686	US Geocode REST Documentation GetGeoCodeUSA Operation The GetGeoCodeUSA operation is called to perform address verification on an address. The URL for that operation with specific parameters is as follows: http://ws.stri Add to Reading List Source URL: www.strikeiron.com Language: English - Date: 2014-09-02 17:06:20 JSON Password Representational state transfer Uniform resource locator Software engineering Computing Strikeiron Ajax
687	[removed] Linda J. Harris University of California, Davis April 4, 2014 Add to Reading List Source URL: ucfoodsafety.ucdavis.edu Language: English - Date: 2014-04-18 14:32:19 Quality Measurement Statistics Clinical research Validation Test method Software development process Verification and validation Cold chain Pharmaceutical industry Science Validity
688	METHOD & TOOLS TO SECURE AND SUPPORT COLLABORATIVE ARCHITECTING OF CONSTRAINED SYSTEMS Jean-Luc Voirin Thales Aerospace Keywords: architecture modelling method early validation Add to Reading List Source URL: www.icas.org Language: English - Date: 2013-01-02 10:35:57 Software development View model Requirement Systems architect Function model Verification and validation Product lifecycle management Functional requirement Department of Defense Architecture Framework Systems engineering Systems science Systems theory
689	PLMMS Preface This volume contains the papers presented at PLMMS-2013: 5th International Workshop on Programming Languages for Mechanised Mathematical Systems 2013 held on July 9, 2013 in Bath. There were 3 submissions. Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Type theory Functional languages Logic in computer science Formal methods Theory of computation Dependent type Agda Formal verification Typed lambda calculus Programming language theory Theoretical computer science Software engineering

UPDATE